61. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
62. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
63. A friendly introduction to mathematical logic
پدیدآورنده : / Christopher C. Leary
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : م‍ن‍طق کامپیوتری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
64. A friendly introduction to mathematical logic
پدیدآورنده : Leary, Christopher C.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
65. A friendly introduction to mathematical logic /
پدیدآورنده : Christopher C. Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
66. A logical introduction to proof
پدیدآورنده : Daniel W. Cunningham
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
C86
2012eb
67. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B
موضوع : ، Logic, Symbolic and mathematical
۷ نسخه از این کتاب در ۶ کتابخانه موجود است.
68. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
2001
69. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
70. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E54
2001
71. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
E54
2001
72. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Logic,Symbolic and mathematical
رده :
QA
9
.
E54
73. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
74. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E5
75. A mathematical introduction to logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
76. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
77. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
78. A profile of mathematical logic.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
رده :
QA9
.
D37
79. A profile of mathematical logic
پدیدآورنده : DeLong, Howard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
D37
80. A profile of mathematical logic /
پدیدآورنده : Howard DeLong.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
.
D37
2004
